Iteration, Inequalities, and Differentiability in Analog Computers

نویسندگان

  • Manuel Lameiras Campagnolo
  • Cristopher Moore
  • José Félix Costa
چکیده

Shannon's General Purpose Analog Computer (GPAC) is an elegant model of analog computation in continuous time. In this paper, we consider whether the set G of GPAC-computable functions is closed under iteration, that is, whether for any function f(x) 2 G there is a function F (x; t) 2 G such that F (x; t) = f (x) for non-negative integers t. We show that G is not closed under iteration, but a simple extension of it is. In particular, if we relax the de nition of the GPAC slightly to include unique solutions to boundary value problems, or equivalently if we allow functions x (x) that sense inequalities in a di erentiable way, the resulting class, which we call G + k, is closed under iteration. Furthermore, G + k includes all primitive recursive functions, and has the additional closure property that if T (x) is in G+ k, then any function of x computable by a Turing machine in T (x) time is also.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Some new variants of interval-valued Gronwall type inequalities on time scales

By using an efficient partial order and concept of gH-differentiability oninterval-valued functions, we investigate some new variants of Gronwall typeinequalities on time scales, which provide explicit bounds on unknownfunctions. Our results not only unify and extend some continuousinequalities, but also in discrete case, all are new.

متن کامل

Boundedness and pointwise differentiability of weak solutions to quasi-linear elliptic differential equations and variational inequalities

The local boundedness of weak solutions to variational inequalities (obstacle problem) with the linear growth condition is obtained. Consequently, an analogue of a theorem by Reshetnyak about a.e. differentiability of weak solutions to elliptic divergence type differential equations is proved for variational inequalities.

متن کامل

Differentiability of Solutions for the Non-degenerate P-laplacian in the Heisenberg Group

We propose a direct method to control the first order fractional difference quotients of solutions to quasilinear subelliptic equations in the Heisenberg group. In this way we implement iteration methods on fractional difference quotients to obtain weak differentiability in the T -direction and then second order weak differentiability in the horizontal directions.

متن کامل

A bundle-type auxiliary problem method for solving generalized variational-like inequalities

For generalized variational-like inequalities, by combining the auxiliary principle technique with the bundle idea for nonconvex nonsmooth minimization, we present an implementable iterative method. To make the subproblem easier to solve, even though the preinvex function may not be convex, we still consider using the model similar to the one in [R. Mifflin, A modification and extension of Lema...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Complexity

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2000